#!/usr/bin/env python2
## -*- coding: utf-8 -*-

import sys

def sx(bits, value):
    sign_bit = 1 << (bits - 1)
    return (value & (sign_bit - 1)) - (value & sign_bit)

SymVar_0 = int(sys.argv[1])
ref_214 = SymVar_0
ref_225 = ref_214 # MOV operation
ref_237 = ref_225 # MOV operation
ref_239 = ref_237 # MOV operation
ref_13284810 = ref_239 # MOV operation
ref_13284854 = ref_13284810 # MOV operation
ref_13284889 = (((((((((0x7B) << 8 | 0x6B) << 8 | 0x69) << 8 | 0x6E) << 8 | 0x72) << 8 | 0x7E) << 8 | 0x6C) << 8 | 0x7B) ^ ref_13284854) # MOV operation
ref_13284930 = (((((((((0x7B) << 8 | 0x6B) << 8 | 0x69) << 8 | 0x6E) << 8 | 0x72) << 8 | 0x7E) << 8 | 0x6C) << 8 | 0x7B) ^ ref_13284854) # MOV operation
ref_13284932 = rol(0x10, ref_13284930) # ROL operation
ref_13284936 = (ref_13284932 ^ ((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13284983 = ref_13284936 # MOV operation
ref_13285007 = (0x96C62826CF6DE04E ^ ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285024 = ref_13284936 # MOV operation
ref_13285026 = rol(0x15, ref_13285024) # ROL operation
ref_13285030 = (ref_13285026 ^ ((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285059 = ref_13285007 # MOV operation
ref_13285077 = ref_13285030 # MOV operation
ref_13285095 = ref_13285007 # MOV operation
ref_13285097 = rol(0xD, ref_13285095) # ROL operation
ref_13285101 = (ref_13285097 ^ ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285118 = ref_13285030 # MOV operation
ref_13285120 = rol(0x10, ref_13285118) # ROL operation
ref_13285124 = (ref_13285120 ^ ((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285153 = ref_13285101 # MOV operation
ref_13285171 = ref_13285124 # MOV operation
ref_13285189 = ref_13285101 # MOV operation
ref_13285191 = rol(0x11, ref_13285189) # ROL operation
ref_13285195 = (ref_13285191 ^ ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285212 = ref_13285124 # MOV operation
ref_13285214 = rol(0x15, ref_13285212) # ROL operation
ref_13285218 = (ref_13285214 ^ ((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285247 = ref_13284810 # MOV operation
ref_13285371 = ref_13285195 # MOV operation
ref_13285389 = (ref_13285218 ^ 0x800000000000000) # MOV operation
ref_13285407 = ref_13285195 # MOV operation
ref_13285409 = rol(0xD, ref_13285407) # ROL operation
ref_13285413 = (ref_13285409 ^ (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF) ^ ref_13285247) + ref_13285371) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285430 = (ref_13285218 ^ 0x800000000000000) # MOV operation
ref_13285432 = rol(0x10, ref_13285430) # ROL operation
ref_13285436 = (ref_13285432 ^ ((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) + ref_13285389) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285465 = ref_13285413 # MOV operation
ref_13285483 = ref_13285436 # MOV operation
ref_13285501 = ref_13285413 # MOV operation
ref_13285503 = rol(0x11, ref_13285501) # ROL operation
ref_13285507 = (ref_13285503 ^ ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) + ref_13285389) & 0xFFFFFFFFFFFFFFFF) + ref_13285465) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285524 = ref_13285436 # MOV operation
ref_13285526 = rol(0x15, ref_13285524) # ROL operation
ref_13285530 = (ref_13285526 ^ ((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF) ^ ref_13285247) + ref_13285371) & 0xFFFFFFFFFFFFFFFF)) + ref_13285483) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285559 = ref_13285507 # MOV operation
ref_13285577 = ref_13285530 # MOV operation
ref_13285595 = ref_13285507 # MOV operation
ref_13285597 = rol(0xD, ref_13285595) # ROL operation
ref_13285601 = (ref_13285597 ^ ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF) ^ ref_13285247) + ref_13285371) & 0xFFFFFFFFFFFFFFFF)) + ref_13285483) & 0xFFFFFFFFFFFFFFFF) + ref_13285559) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285618 = ref_13285530 # MOV operation
ref_13285620 = rol(0x10, ref_13285618) # ROL operation
ref_13285624 = (ref_13285620 ^ ((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) + ref_13285389) & 0xFFFFFFFFFFFFFFFF) + ref_13285465) & 0xFFFFFFFFFFFFFFFF)) + ref_13285577) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285653 = ref_13285601 # MOV operation
ref_13285671 = ref_13285624 # MOV operation
ref_13285689 = ref_13285601 # MOV operation
ref_13285691 = rol(0x11, ref_13285689) # ROL operation
ref_13285695 = (ref_13285691 ^ ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) + ref_13285389) & 0xFFFFFFFFFFFFFFFF) + ref_13285465) & 0xFFFFFFFFFFFFFFFF)) + ref_13285577) & 0xFFFFFFFFFFFFFFFF) + ref_13285653) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285712 = ref_13285624 # MOV operation
ref_13285714 = rol(0x15, ref_13285712) # ROL operation
ref_13285718 = (ref_13285714 ^ ((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF) ^ ref_13285247) + ref_13285371) & 0xFFFFFFFFFFFFFFFF)) + ref_13285483) & 0xFFFFFFFFFFFFFFFF) + ref_13285559) & 0xFFFFFFFFFFFFFFFF)) + ref_13285671) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285779 = ref_13285695 # MOV operation
ref_13285797 = ref_13285718 # MOV operation
ref_13285815 = ref_13285695 # MOV operation
ref_13285817 = rol(0xD, ref_13285815) # ROL operation
ref_13285821 = (ref_13285817 ^ (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF) ^ ref_13285247) + ref_13285371) & 0xFFFFFFFFFFFFFFFF)) + ref_13285483) & 0xFFFFFFFFFFFFFFFF) + ref_13285559) & 0xFFFFFFFFFFFFFFFF)) + ref_13285671) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_13285779) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285838 = ref_13285718 # MOV operation
ref_13285840 = rol(0x10, ref_13285838) # ROL operation
ref_13285844 = (ref_13285840 ^ (((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) + ref_13285389) & 0xFFFFFFFFFFFFFFFF) + ref_13285465) & 0xFFFFFFFFFFFFFFFF)) + ref_13285577) & 0xFFFFFFFFFFFFFFFF) + ref_13285653) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_13285797) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285873 = ref_13285821 # MOV operation
ref_13285891 = ref_13285844 # MOV operation
ref_13285909 = ref_13285821 # MOV operation
ref_13285911 = rol(0x11, ref_13285909) # ROL operation
ref_13285915 = (ref_13285911 ^ (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) + ref_13285389) & 0xFFFFFFFFFFFFFFFF) + ref_13285465) & 0xFFFFFFFFFFFFFFFF)) + ref_13285577) & 0xFFFFFFFFFFFFFFFF) + ref_13285653) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_13285797) & 0xFFFFFFFFFFFFFFFF) + ref_13285873) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285932 = ref_13285844 # MOV operation
ref_13285934 = rol(0x15, ref_13285932) # ROL operation
ref_13285938 = (ref_13285934 ^ ((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF) ^ ref_13285247) + ref_13285371) & 0xFFFFFFFFFFFFFFFF)) + ref_13285483) & 0xFFFFFFFFFFFFFFFF) + ref_13285559) & 0xFFFFFFFFFFFFFFFF)) + ref_13285671) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_13285779) & 0xFFFFFFFFFFFFFFFF)) + ref_13285891) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13285967 = ref_13285915 # MOV operation
ref_13285985 = ref_13285938 # MOV operation
ref_13286003 = ref_13285915 # MOV operation
ref_13286005 = rol(0xD, ref_13286003) # ROL operation
ref_13286009 = (ref_13286005 ^ ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF) ^ ref_13285247) + ref_13285371) & 0xFFFFFFFFFFFFFFFF)) + ref_13285483) & 0xFFFFFFFFFFFFFFFF) + ref_13285559) & 0xFFFFFFFFFFFFFFFF)) + ref_13285671) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_13285779) & 0xFFFFFFFFFFFFFFFF)) + ref_13285891) & 0xFFFFFFFFFFFFFFFF) + ref_13285967) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13286026 = ref_13285938 # MOV operation
ref_13286028 = rol(0x10, ref_13286026) # ROL operation
ref_13286032 = (ref_13286028 ^ ((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) + ref_13285389) & 0xFFFFFFFFFFFFFFFF) + ref_13285465) & 0xFFFFFFFFFFFFFFFF)) + ref_13285577) & 0xFFFFFFFFFFFFFFFF) + ref_13285653) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_13285797) & 0xFFFFFFFFFFFFFFFF) + ref_13285873) & 0xFFFFFFFFFFFFFFFF)) + ref_13285985) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13286061 = ref_13286009 # MOV operation
ref_13286079 = ref_13286032 # MOV operation
ref_13286097 = ref_13286009 # MOV operation
ref_13286099 = rol(0x11, ref_13286097) # ROL operation
ref_13286103 = (ref_13286099 ^ ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) + ref_13285389) & 0xFFFFFFFFFFFFFFFF) + ref_13285465) & 0xFFFFFFFFFFFFFFFF)) + ref_13285577) & 0xFFFFFFFFFFFFFFFF) + ref_13285653) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_13285797) & 0xFFFFFFFFFFFFFFFF) + ref_13285873) & 0xFFFFFFFFFFFFFFFF)) + ref_13285985) & 0xFFFFFFFFFFFFFFFF) + ref_13286061) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13286120 = ref_13286032 # MOV operation
ref_13286122 = rol(0x15, ref_13286120) # ROL operation
ref_13286126 = (ref_13286122 ^ ((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF) ^ ref_13285247) + ref_13285371) & 0xFFFFFFFFFFFFFFFF)) + ref_13285483) & 0xFFFFFFFFFFFFFFFF) + ref_13285559) & 0xFFFFFFFFFFFFFFFF)) + ref_13285671) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_13285779) & 0xFFFFFFFFFFFFFFFF)) + ref_13285891) & 0xFFFFFFFFFFFFFFFF) + ref_13285967) & 0xFFFFFFFFFFFFFFFF)) + ref_13286079) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13286155 = ref_13286103 # MOV operation
ref_13286173 = ref_13286126 # MOV operation
ref_13286191 = ref_13286103 # MOV operation
ref_13286193 = rol(0xD, ref_13286191) # ROL operation
ref_13286197 = (ref_13286193 ^ ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF) ^ ref_13285247) + ref_13285371) & 0xFFFFFFFFFFFFFFFF)) + ref_13285483) & 0xFFFFFFFFFFFFFFFF) + ref_13285559) & 0xFFFFFFFFFFFFFFFF)) + ref_13285671) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_13285779) & 0xFFFFFFFFFFFFFFFF)) + ref_13285891) & 0xFFFFFFFFFFFFFFFF) + ref_13285967) & 0xFFFFFFFFFFFFFFFF)) + ref_13286079) & 0xFFFFFFFFFFFFFFFF) + ref_13286155) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13286214 = ref_13286126 # MOV operation
ref_13286216 = rol(0x10, ref_13286214) # ROL operation
ref_13286220 = (ref_13286216 ^ ((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) + ref_13285389) & 0xFFFFFFFFFFFFFFFF) + ref_13285465) & 0xFFFFFFFFFFFFFFFF)) + ref_13285577) & 0xFFFFFFFFFFFFFFFF) + ref_13285653) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_13285797) & 0xFFFFFFFFFFFFFFFF) + ref_13285873) & 0xFFFFFFFFFFFFFFFF)) + ref_13285985) & 0xFFFFFFFFFFFFFFFF) + ref_13286061) & 0xFFFFFFFFFFFFFFFF)) + ref_13286173) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13286249 = ref_13286197 # MOV operation
ref_13286267 = ref_13286220 # MOV operation
ref_13286285 = ref_13286197 # MOV operation
ref_13286287 = rol(0x11, ref_13286285) # ROL operation
ref_13286291 = (ref_13286287 ^ ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) + ref_13285389) & 0xFFFFFFFFFFFFFFFF) + ref_13285465) & 0xFFFFFFFFFFFFFFFF)) + ref_13285577) & 0xFFFFFFFFFFFFFFFF) + ref_13285653) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_13285797) & 0xFFFFFFFFFFFFFFFF) + ref_13285873) & 0xFFFFFFFFFFFFFFFF)) + ref_13285985) & 0xFFFFFFFFFFFFFFFF) + ref_13286061) & 0xFFFFFFFFFFFFFFFF)) + ref_13286173) & 0xFFFFFFFFFFFFFFFF) + ref_13286249) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13286308 = ref_13286220 # MOV operation
ref_13286310 = rol(0x15, ref_13286308) # ROL operation
ref_13286314 = (ref_13286310 ^ ((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF) ^ ref_13285247) + ref_13285371) & 0xFFFFFFFFFFFFFFFF)) + ref_13285483) & 0xFFFFFFFFFFFFFFFF) + ref_13285559) & 0xFFFFFFFFFFFFFFFF)) + ref_13285671) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_13285779) & 0xFFFFFFFFFFFFFFFF)) + ref_13285891) & 0xFFFFFFFFFFFFFFFF) + ref_13285967) & 0xFFFFFFFFFFFFFFFF)) + ref_13286079) & 0xFFFFFFFFFFFFFFFF) + ref_13286155) & 0xFFFFFFFFFFFFFFFF)) + ref_13286267) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13286343 = ref_13286291 # MOV operation
ref_13286361 = ref_13286314 # MOV operation
ref_13286379 = ref_13286291 # MOV operation
ref_13286381 = rol(0xD, ref_13286379) # ROL operation
ref_13286385 = (ref_13286381 ^ ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF) ^ ref_13285247) + ref_13285371) & 0xFFFFFFFFFFFFFFFF)) + ref_13285483) & 0xFFFFFFFFFFFFFFFF) + ref_13285559) & 0xFFFFFFFFFFFFFFFF)) + ref_13285671) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_13285779) & 0xFFFFFFFFFFFFFFFF)) + ref_13285891) & 0xFFFFFFFFFFFFFFFF) + ref_13285967) & 0xFFFFFFFFFFFFFFFF)) + ref_13286079) & 0xFFFFFFFFFFFFFFFF) + ref_13286155) & 0xFFFFFFFFFFFFFFFF)) + ref_13286267) & 0xFFFFFFFFFFFFFFFF) + ref_13286343) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13286402 = ref_13286314 # MOV operation
ref_13286404 = rol(0x10, ref_13286402) # ROL operation
ref_13286408 = (ref_13286404 ^ ((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) + ref_13285389) & 0xFFFFFFFFFFFFFFFF) + ref_13285465) & 0xFFFFFFFFFFFFFFFF)) + ref_13285577) & 0xFFFFFFFFFFFFFFFF) + ref_13285653) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_13285797) & 0xFFFFFFFFFFFFFFFF) + ref_13285873) & 0xFFFFFFFFFFFFFFFF)) + ref_13285985) & 0xFFFFFFFFFFFFFFFF) + ref_13286061) & 0xFFFFFFFFFFFFFFFF)) + ref_13286173) & 0xFFFFFFFFFFFFFFFF) + ref_13286249) & 0xFFFFFFFFFFFFFFFF)) + ref_13286361) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13286437 = ref_13286385 # MOV operation
ref_13286455 = ref_13286408 # MOV operation
ref_13286473 = ref_13286385 # MOV operation
ref_13286475 = rol(0x11, ref_13286473) # ROL operation
ref_13286479 = (ref_13286475 ^ ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) + ref_13285389) & 0xFFFFFFFFFFFFFFFF) + ref_13285465) & 0xFFFFFFFFFFFFFFFF)) + ref_13285577) & 0xFFFFFFFFFFFFFFFF) + ref_13285653) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_13285797) & 0xFFFFFFFFFFFFFFFF) + ref_13285873) & 0xFFFFFFFFFFFFFFFF)) + ref_13285985) & 0xFFFFFFFFFFFFFFFF) + ref_13286061) & 0xFFFFFFFFFFFFFFFF)) + ref_13286173) & 0xFFFFFFFFFFFFFFFF) + ref_13286249) & 0xFFFFFFFFFFFFFFFF)) + ref_13286361) & 0xFFFFFFFFFFFFFFFF) + ref_13286437) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13286496 = ref_13286408 # MOV operation
ref_13286498 = rol(0x15, ref_13286496) # ROL operation
ref_13286502 = (ref_13286498 ^ ((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF) ^ ref_13285247) + ref_13285371) & 0xFFFFFFFFFFFFFFFF)) + ref_13285483) & 0xFFFFFFFFFFFFFFFF) + ref_13285559) & 0xFFFFFFFFFFFFFFFF)) + ref_13285671) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_13285779) & 0xFFFFFFFFFFFFFFFF)) + ref_13285891) & 0xFFFFFFFFFFFFFFFF) + ref_13285967) & 0xFFFFFFFFFFFFFFFF)) + ref_13286079) & 0xFFFFFFFFFFFFFFFF) + ref_13286155) & 0xFFFFFFFFFFFFFFFF)) + ref_13286267) & 0xFFFFFFFFFFFFFFFF) + ref_13286343) & 0xFFFFFFFFFFFFFFFF)) + ref_13286455) & 0xFFFFFFFFFFFFFFFF)) # XOR operation
ref_13286531 = ((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((((((((((0xD8) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xDA) << 8 | 0xDF) << 8 | 0xCA) << 8 | 0xE7) << 8 | 0xCE) + ref_13284983) & 0xFFFFFFFFFFFFFFFF) + ref_13285059) & 0xFFFFFFFFFFFFFFFF)) + ref_13285171) & 0xFFFFFFFFFFFFFFFF) ^ ref_13285247) + ref_13285371) & 0xFFFFFFFFFFFFFFFF)) + ref_13285483) & 0xFFFFFFFFFFFFFFFF) + ref_13285559) & 0xFFFFFFFFFFFFFFFF)) + ref_13285671) & 0xFFFFFFFFFFFFFFFF) ^ 0x800000000000000) + ref_13285779) & 0xFFFFFFFFFFFFFFFF)) + ref_13285891) & 0xFFFFFFFFFFFFFFFF) + ref_13285967) & 0xFFFFFFFFFFFFFFFF)) + ref_13286079) & 0xFFFFFFFFFFFFFFFF) + ref_13286155) & 0xFFFFFFFFFFFFFFFF)) + ref_13286267) & 0xFFFFFFFFFFFFFFFF) + ref_13286343) & 0xFFFFFFFFFFFFFFFF)) + ref_13286455) & 0xFFFFFFFFFFFFFFFF) # MOV operation
ref_13286533 = (ref_13286531 ^ ref_13286479) # XOR operation
ref_13286540 = ref_13286533 # MOV operation
ref_13286542 = rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, (((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((rol(0x20, ((((((((((((0x6B) << 8 | 0x7F) << 8 | 0x62) << 8 | 0x61) << 8 | 0x6D) << 8 | 0x67) << 8 | 0x73) << 8 | 0x61) + ref_13284889) & 0xFFFFFFFFFFFFFFFF) + 0xF0274B63141367B6) & 0xFFFFFFFFFFFFFFFF)) + ref_13285077) & 0xFFFFFFFFFFFFFFFF) + ref_13285153) & 0xFFFFFFFFFFFFFFFF)) + ref_13285389) & 0xFFFFFFFFFFFFFFFF) + ref_13285465) & 0xFFFFFFFFFFFFFFFF)) + ref_13285577) & 0xFFFFFFFFFFFFFFFF) + ref_13285653) & 0xFFFFFFFFFFFFFFFF)) ^ 0xFF) + ref_13285797) & 0xFFFFFFFFFFFFFFFF) + ref_13285873) & 0xFFFFFFFFFFFFFFFF)) + ref_13285985) & 0xFFFFFFFFFFFFFFFF) + ref_13286061) & 0xFFFFFFFFFFFFFFFF)) + ref_13286173) & 0xFFFFFFFFFFFFFFFF) + ref_13286249) & 0xFFFFFFFFFFFFFFFF)) + ref_13286361) & 0xFFFFFFFFFFFFFFFF) + ref_13286437) & 0xFFFFFFFFFFFFFFFF)) # MOV operation
ref_13286544 = (ref_13286542 ^ ref_13286502) # XOR operation
ref_13286551 = (ref_13286544 ^ ref_13286540) # XOR operation
ref_13531029 = ref_13286551 # MOV operation
ref_13612493 = ref_13531029 # MOV operation
ref_13856914 = ref_13612493 # MOV operation
ref_13938348 = ref_13856914 # MOV operation
ref_13938386 = ref_13938348 # MOV operation
ref_13938398 = ref_13938386 # MOV operation
ref_13938400 = ref_13938398 # MOV operation

print ref_13938400 & 0xffffffffffffffff
